林 晋, 八杉 満利子 『ゲーデル 不完全性定理』